python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py rabin.15.jani -c ../probfd-qcomp19/jani-to-ppddl/config_rabin.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py rabin.15-domain.ppddl rabin.15-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Parsing...
Parsing: [0.100s CPU, 0.106s wall-clock]
Normalizing task... [0.000s CPU, 0.006s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.010s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.210s CPU, 0.203s wall-clock]
Preparing model... [0.110s CPU, 0.113s wall-clock]
Generated 7276 rules.
Computing model...
----------
Computation aborted after 1807.8262310028076 seconds since the total time limit of 1800 seconds was exceeded.